fun facts germany